A Knowledge Representation FrameworkBased on Epistemic
نویسنده
چکیده
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is su ciently general to encompass several non-monotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed for logic programs and deductive databases (stable semantics, well-founded semantics and stationary semantics) as well as Gelfond's epistemic speci cations. The existence of such a uniform framework allows us not only to provide simpler and perhaps more natural de nitions of various formalisms but it also enables us to better understand mutual relationships existing between them.
منابع مشابه
Robustness-based portfolio optimization under epistemic uncertainty
In this paper, we propose formulations and algorithms for robust portfolio optimization under both aleatory uncertainty (i.e., natural variability) and epistemic uncertainty (i.e., imprecise probabilistic information) arising from interval data. Epistemic uncertainty is represented using two approaches: (1) moment bounding approach and (2) likelihood-based approach. This paper first proposes a ...
متن کاملEpistemic Virtue from the Viewpoints of Mulla Sadra and Zagzebski
This paper compares epistemic virtue from the viewpoints of Zagzebski and Mulla Sadra, aiming to determine the extent to which their viewpoints on epistemic virtue are similar. Zagzebski, the contemporary philosopher, considers epistemic virtue as the basis on which knowledge is interpreted. She sees epistemic virtue as a requirement for achieving knowledge. Mulla Sadra, the founder of Transcen...
متن کاملAngerona - A Flexible Multiagent Framework for Knowledge-Based Agents
We present the Angerona framework for the implementation of knowledge-based agents with a strong focus on flexibility, extensibility, and compatibility with diverse knowledge representation formalisms. As the basis for this framework we propose and formalize a general concept of compound agents in which we consider agents to consist of hierarchies of interacting epistemic and functional compone...
متن کاملOn the Modelling of an Agent's Epistemic State and its Dynamic Changes
Given a set of unquantified conditionals considered as default rules or a set of quantified conditionals such as probabilistic rules, an agent can build up its internal epistemic state from such a knowledge base by inductive reasoning techniques. Besides certain (logical) knowledge, epistemic states are supposed to allow the representation of preferences, beliefs, assumptions etc. of an intelli...
متن کاملModeling Epistemic Knowledge about Users
Representing what an intelligent agent knows or believes can be an important feature for an entity that acts in a collaborative environment. Epistemic logic programs are a clear way to reason about what an intelligent agent knows or believes, but the complexity of the reasoning is exponential. The paper presents a new kind of logic programs, the logic programs with two types of negation as fail...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994